add_application(sw_irq_test sw_irq_test.c LABELS "klessydra_tests")
